\documentclass{article}
\usepackage{amssymb,amsmath,amscd,concmath}
\pagestyle{empty}
\begin{document}
\begin{equation*}(x)(z){Px \supset (y)\sqrt{(Ky \wedge Qz)\mu \vee Bwzz}
\swarrow (Rx \wedge Rz) \wedge (y)
\frac {Yy \vee \pi\pi\sqrt{(a)(x)(z)}\lambda[Az \wedge Ax \wedge Aa]}{\omega \wedge \nearrow diddlysquat \not (y)(Py \vee Sy)}}
\end{equation*}
\end{document}
